void uart_puts(const char *s);

void kmain(void) {
    uart_puts("Hello OS\n");

    while (1) { }
}